R-plus(A;B)
== let x = A in let y = B in if Rnone?(x) then y if Rnone?(y) then x else x  y fi  

latex

Definitions	let x = a in b(x), if b then t else f fi , Rnone?(x1), left  right
FDL editor aliases	R-plus